-
1 formal program proof
формальное доказательство правильности программыБольшой англо-русский и русско-английский словарь > formal program proof
-
2 formal program validation
формальное доказательство правильности программыБольшой англо-русский и русско-английский словарь > formal program validation
-
3 formal program proof
English-Russian dictionary of computer science and programming > formal program proof
-
4 formal program validation
English-Russian dictionary of computer science and programming > formal program validation
-
5 formal program validation
English-Russian dictionary of computer science > formal program validation
-
6 formal program validation
-
7 validation
1. проверка правильностиvalidation criterion — критерий достоверности; критерий правильности
2. подтверждениеEnglish-Russian dictionary of Information technology > validation
-
8 verification
1) верификация, контроль, проверкасм. тж. data verificationб) в САПР электроники - проверка правильности электрических соединений принципиальной электрической схемы или соблюдения технологических норм изготовления печатных плат2) верификацияб) в программной инженерии - процесс оценки системы и/или её компонентов с целью установить, соответствуют ли в конце данного этапа разработки эти продукты спецификациям и условиям, налагаемым в его начале. Верификация не обнаружит ошибку, если входная спецификация была неверна, и эта ошибка может распространиться на дальнейшие этапы разработкиАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > verification
-
9 algorithm validation
validation criterion — критерий достоверности; критерий правильности
English-Russian dictionary of Information technology > algorithm validation
-
10 program validation
1. утверждение программы; аттестация программы2. аттестация программы -
11 formal program proof
Вычислительная техника: формальное доказательство правильности программы -
12 formal program validation
Вычислительная техника: формальное доказательство правильности программыУниверсальный англо-русский словарь > formal program validation
См. также в других словарях:
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
Дейкстра, Эдсгер Вибе — Эдсгер Вибе Дейкстра Edsger Wybe Dijkstra … Википедия
Дейкстра Э. В. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра, Эдсгер — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра Эдсгер Вайб — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра, Эдсгер Вайб — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра Э. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра Эдсгер Вибе — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Эдсгер Вайб Дейкстра — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Эдсгер Вибе Дейкстра — (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Эдсгер Дейкстра — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия